Natural deduction systems for classical, intuitionistic and modal logics were deeply investigated by Prawitz [D. Prawitz, Natural Deduction: A Proof-theoretical Study, in: Stockholm Studies in Philosophy, vol. 3, Almqvist and Wiksell, Stockholm, 1965. Reprinted at: Dover Publications, Dover Books on Mathematics, 2006] from a proof-theoretical perspective. Prawitz proved weak normalization for classical logic only for a language without logical or, there exists and with a restricted application of reduction ad absurdum. Reduction steps related to logical or, there exists and classical (...) negation bring about many problems solved only rather recently. For classical S5 modal logic, Prawitz defined a normalizable system, but for a language without logical or, there exists, ◊ and, for a propositional language without ◊, Medeiros [M.da P.N. Medeiros, A new S4 classical modal logic in natural deduction, Journal of Symbolic Logic 71 799–809] presented a normalizable system for classical S4. We can mention many cut-free Gentzen systems for S4, S5 and K45/K45D, some normalizable natural deduction systems for intuitionistic modal logics and one more for full classical S4, but not for full classical S5. Here our focus is on the definition of a classical and normalizable natural deduction system for S5, taking not only □ and ◊ as primitive symbols, but also all connectives and quantifiers, including classical negation, disjunction and the existential quantifier. The normalization procedure is based on the strategy proposed by Massi [C.D.B. Massi, Provas de normalizaçaõ para a lógica clássica, Ph.D. Thesis, Departamento de Filosofia, UNICAMP, Campinas, 1990] and Pereira and Massi [L.C. Pereira, C.D.B. Massi, Normalização para a lógica clássica, in: O que nos faz pensar, Cadernos de Filosofia da PUC-RJ, vol. 2, 1990, pp. 49–53] for first-order classical logic to cope with the combined use of classical negation, disjunction and the existential quantifier. Here we extend such results to deal with □ and ◊ too. The elimination rule for ◊ uses the notions of connection and of essentially modal formulas already proposed by Prawitz for the introduction of □. Beyond weak normalization, we also prove the subformula property for full S5. (shrink)

An Interview with Ana-Teresa Tymieniecka by Yvanka B. Raynova realized in December 1994 at the World Phenomenology Institute. It was published firstly in Bulgarian, and thereafter in English, on the homepage of the World Phenomenology Institute.

Este artigo apresenta a biografia e o percurso profissional de Pedro Ferreira, impressor activo em Lisboa no século XVIII, e descreve algumas das marcas tipográficas utilizadas nas suas impressões.

Demetrios Ducas was a Cretan scholar who emigrated to Italy at the end of the 15th century and then moved to Spain in 1513. Both his editorship of Greek texts in Venice for Aldus Manutius and his activity as a professor of Greek and editor of the New Testament under the aegis of Cardinal Cisneros are well documented. However, no manuscript of his hand and no codex or printed book belonging to his library have been identified so far. This paper (...) reviews testimonies from Ducas' colleagues in Alcalá between 1513 and 1518 and some manuscripts copied at the time in the Complutensian Academy. Such manuscripts give us relevant evidence for a conjectural reconstruction of Ducas' library and open the road to a future identification of his hand. To this end manuscripts Escur. R III 5, Salm. 769, Salm. 295, Salm. 9 and Vat. Reg. gr. Pii II 16 are carefully examined. (shrink)

We investigate some logics which use the concept of minimal models in their definition. Minimal objects are widely used in Logic and Computer Science. They are applied in the context of Inductive Definitions, Logic Programming and Artificial Intelligence. An example of logic which uses this concept is the MIN logic due to van Benthem [20]. He shows that MIN is equivalent to the Least Fixed Point logic in expressive power. In [6], we extended MIN to the MIN Logic and proved (...) it is equivalent to second-order logic in expressive power. Here, we exhibit a fragment of MIN, the MINΔ logic, which is more expressive than LFP, less expressive than MIN and closed under boolean connectives and first-order quantification. In order to do this, in the Section 2, we prove that the Downward Löwenheim-Skolem Theorem holds for arbitrary countable sets of LFP-formulas by showing that every infinite structure has a countable LFP-substructure. The method may be used to generalize this theorem to any set of LFP-formulas. We also analyse the expressive power of the Nested Abnormality Theories of Lifschitz, another formalism based on minimal models used in Artificial Intelligence, and we demonstrate that for each second-order theory Γ there is a NAT which is a conservative extension of Γ. We give a translation from second-order sentences into such NATs which is linear in the size of the sentence in prenex normal form. Finally, we establish a hierarchy of expressiveness of these logics that deal with the concept of minimal models. (shrink)

At a certain time, the disjunction between philosophy and poetry seemed to denominate the foundational moment which gave a singular life to philosophy, making it unnecessary to refer to anything that was not philosophy. The voice of thought that stopped being relevant to philosophy was the fable..

We investigate expressiveness and definability issues with respect to minimal models, particularly in the scope of Circumscription. First, we give a proof of the failure of the Löwenheim-Skolem Theorem for Circumscription. Then we show that, if the class of P; Z-minimal models of a first-order sentence is Δ-elementary, then it is elementary. That is, whenever the circumscription of a first-order sentence is equivalent to a first-order theory, then it is equivalent to a finitely axiomatizable one. This means that classes of (...) models of circumscribed theories are either elementary or not Δ-elementary. Finally, using the previous result, we prove that, whenever a relation Pi is defined in the class of P; Z-minimal models of a first-order sentence Φ and whenever such class of P; Z-minimal models is Δ-elementary, then there is an explicit definition ψ for Pi such that the class of P; Z-minimal models of Φ is the class of models of Φ ∧ ψ. In order words, the circumscription of P in Φ with Z varied can be replaced by Φ plus this explicit definition ψ for Pi. (shrink)

Name der Zeitschrift: Byzantinische Zeitschrift Jahrgang: 108 Heft: 1 Seiten: 229-276.

Sister chromatid cohesion mediated by the ring‐shaped cohesin complex is essential for faithful chromosome segregation. A tight spatial and temporal control of cohesin release is observed in mitosis and meiosis, and a family of proteins known as shugoshins play a major role in this process. Shugoshin (Sgo) protects centromeric cohesin from dissociation in early mitosis and from cleavage by separase in meiosis I. Three exciting new reports indicate that this is accomplished by recruiting the serine/threonine protein phosphatase 2A (PP2A) to (...) centromeres.(1–3) The proposed targets of PP2A activity include cohesin and Sgo, both of which would otherwise dissociate from chromosomes upon phosphorylation by Polo kinase. Thus, a balance of kinase and phosphatase activities seems to be the key to the conserved mechanism that regulates the stepwise release of cohesin from mitotic and meiotic chromosomes. Additional evidence, however, suggests that this is only part of the story, and that Sgo has also a role independent of PP2A. BioEssays 28: 775–779, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

This article discusses the existing duality between the terms Earth and world under the of the 21st century ecological crisis. It proposes, from the deconstruction of anthropocentric and ecocentric values, an analysis of the philanthropic/sustainable paradigm, as a way of understanding the interdisciplinary nature of the possible coexistence between Man and Nature. For this, are demonstrated some hierarchical imbalances present in the concession of Western culture proposed by Samuel Huntington, in the ecological imaginary of indigenous communities defended by Zoe Todd, (...) and in the environmental impact of consumer society from the perspective of Patrick Curry, Richard Sylvan, and David Bennett. As a result, the importance of understanding a balance between consumption and production is demonstrated, condemning the elitist anthropocentrism of western communities as the cause and solution of the ecological problem, transversally illustrated from the market and the art world under the conception of the practical uselessness of its existence and given its contribution to a problem of overproduction. (shrink)

Este artículo es una breve presentación de mi estudio de la obra de Gadamer durante el nacionalsocialismo, que se concentra en exponer el análisis de dos de sus publicaciones sobre Platón, significativas en el marco de las coyunturas políticas del nazismo. El propósito del estudio es contribuir a la investigación de las formas específicas de la filiación al nazismo por parte de los filósofos del nacional-conservadurismo alemán, aquellos que, no siendo nazis, dieron sin embargo su apoyo al régimen de formas (...) muy variadas, no doctrinarias, sino altamente "sugestivas". En este sentido, se puede observar cómo el recurso hermenéutico de la alusión, que es muy productivo en los procesos de recepción de los clásicos, se puso en este caso al servicio del nazismo, que no debe reducirse a sus formas más burdas y dogmáticas, sino entenderse como un proyecto que integró a unas élites más ilustradas. (shrink)

Populism’s Challenges to Political Reason can be seen as a consequence of social and cultural trends, the so called ‘emotional culture’, that have been accentuated in recent decades. By considering those trends, this article aims at shedding light on some distinctive marks of contemporary populism in order to argue for a reconfiguration of the public sphere that, without ignoring emotion, recovers argumentation and persuasion based on facts and reason.

In this co-authored article, one contributor presents a case story from an interview with a social worker in Slovenia, while five others offer commentaries on ethical aspects of the case. The story comes from a practitioner working with a pregnant young woman, arranging for adoption following birth. The social worker respected the woman’s request to keep her identity secret, hence not registering her in the institutional records. However, whilst the social worker was on holiday, the baby was born and anonymity (...) was not maintained. Commentaries 1 and 2 evaluate the story through its form: as a narrative with a tempo and plot; and as a performance that creates its narrator as an agent with an ethical identity. Commentary 3 uses a normative moral philosophical framework (virtue ethics), while the final two commentaries take a more grounded approach. Commentary 4 views the social worker as using discretion to act in a space void of rules (there is no provision for anonymous birth), whereas Commentary 5 foregrounds the Slovenian code of ethics as a source of ethical standards unremarked upon by the social worker. The article ends with reflections on the value of exploring multiple perspectives and engaging in dialogue in developing ethical understandings and actions. (shrink)

Chronic pain is a serious public health problem with a strong affective-motivational component that makes it difficult to treat. Most patients with chronic pain suffer from severe depression; hence, both conditions coexist and exacerbate one another. Brain inflammatory mediators are critical for maintaining depression-pain syndrome and could be substrates for it. The goal of our paper was to review clinical and preclinical findings to identify the neuroinflammatory profile associated with the cooccurrence of pain and depression. In addition, we aimed to (...) explore the regulatory effect of neuronal reorganization on the inflammatory response in pain and depression. We conducted a quantitative review supplemented by manual screening. Our results revealed inflammatory signatures in different preclinical models and clinical articles regarding depression-pain syndrome. We also identified that improvements in depressive symptoms and amelioration of pain can be modulated through direct targeting of inflammatory mediators, such as cytokines and molecular inhibitors of the inflammatory cascade. Additionally, therapeutic targets that improve and regulate the synaptic environment and its neurotransmitters may act as anti-inflammatory compounds, reducing local damage-associated molecular patterns and inhibiting the activation of immune and glial cells. Taken together, our data will help to better elucidate the neuroinflammatory profile in pain and depression and may help to identify pharmacological targets for effective management of depression-pain syndrome. (shrink)

Introduction: Resilience is a multidimensional and dynamic construct associated with positive growth and the capacity to transform stressful and negative factors into opportunities of personal development and self-improvement when faced with difficult experiences. The resilience process of each individual integrates multiple analysis levels, which range from genetic-environmental interactions to a complex process of adaptation between the individual and his/her family, friends, co-workers, society, and culture.Objective: To determine whether resilience improves in students of occupational therapy when exposed for the first time (...) to practice placement education.Methodology: Quasi-experimental, prospective, observational, multi-center study with a sample composed of students from the Degree of Occupational Therapy of the public universities of Málaga and Castilla-La Mancha. Two weeks prior to the beginning of the practice education period, the participants completed a questionnaire that included sociodemographic data and the area of their internships. They were also given the Spanish version of the Connor-Davidson's resilience scale. All these instruments were also completed 1 week after the end of the clinical practice.Results: There were statistically significant differences between the variables that make up resilience and the different internship areas. On the other hand, there was a significant improvement of global resilience after the clinical practice period, in both women and men, when the internship area was not considered.Conclusions: The results show that resilient students are more optimistic and work to improve a situation beyond doing simply what is expected of them, knowing how to control their feelings. This is beneficial for students in practice education, since, during these, they face difficult situations that require a resilient pattern, which helps reduce stress and the burnout syndrome. (shrink)

We aim to map out the points of confluence between phronesis and emotion, as well as the nature of this confluence. We do so based on philosophical and psychological explanations of emotions and phronesis. Making sound decisions, which requires phronesis, is an important matter, but its relationship with emotions has only just begun to be studied. We propose that the interplay between phronesis and emotion is possible (rather than inevitable) because both have a cognitive-behavioural structure and because emotions are hierarchical. (...) In the case of emotion, there are no gaps between the cognitive and behavioural dimensions, while phronetic acts can only manifest if cognitive and behavioural aspects are activated simultaneously. The confluence we identify is bidirectional and involves mutual enrichment in this dual dimension. On the one hand, phronesis enriches emotion because it involves extra subjective knowledge and allows emotion to be directed towards higher goals. On the other hand, emotions enrich phronesis because phronesis makes decisions based on sensitive preferences and because emotions confirm correctness in the context of moral decision making. Methodologically, this study is theoretical and interdisciplinary, as our approach is both philosophical and psychological. Philosophy helps us to improve the conceptual foundation of the construct, while psychology provides an analysis of the emotional process, allowing philosophy to understand how emotional evaluation-assessment and motivation lead to decision making. (shrink)

This article proposes to analyse some aspects of the appropriation of New School thinking in Brazil, particularly Deweyan pragmatism, in the 1950s and 1960s. The analysis is based on the assumption that the developmentalist ideology that punctuated the debate on the economic, political and social restructuring of the country in these two decades constituted fertile ground for the return and expansion of pragmatist thinking amongst Brazilian educators, articulating itself, sometimes in contradictory ways, with this ideology. The focus of the analysis (...) will be on the writings of the group of educators which circulated around the figure of Anísio Teixeira, at the time director of the National Institute for Pedagogic Studies, an organ linked to the Ministry of Education and Culture, which set itself the task of producing research that would support public policy in the field of education, as well as constituting itself as a center for teacher education and the stimulus and development of innovative experiences in the public school system. The appropriation of Deweyan pragmatism, in this context, had a triple perspective: pragmatism as scientific method, implying a specific conception of science, particularly the social sciences, with emphasis on the application of scientific knowledge in the solution of practical problems; as a way of democratic life; and as a synonym for experimentalism, in the sphere of schooling. (shrink)

In this paper I firstly examine the contents of Escur. Φ III 11, which includes a medical section, an anthology of texts both sacred and profane, and the epistolar exchange between Gregorius Acindynus and Eirene Choumnos. Secondly I go through Eirene’s intellectual background and the books transcribed under her patronage. Thirdly I explain the role played by this Escurialensis in Eirene’s library and in the anti-Palamite circles. Fourthly, basing on different kinds of arguments, I attribute the copying of ff. 83r-156v (...) to Matthew Blastares. (shrink)

Background: COVID-19 has taken many lives worldwide and due to this, millions of persons are in grief. When the grief process lasts longer than 6 months, the person is in risk of developing Complicated Grief Disorder. The CGD is related to serious health consequences. To reduce the probability of developing CGD a preventive intervention could be applied. In developing countries like Mexico, the psychological services are scarce, self-applied interventions could provide support to solve this problem and reduce the health impact (...) even after the pandemic has already finished.Aims: To design and implement a self-applied intervention composed of 12 modules focused on the decrease of the risk of developing CGD, and increasing the life quality, and as a secondary objective to reduce the symptomatology of anxiety, depression, and increase of sleep quality. The Intervention Duelo COVID follows the principles of User Experience and is designed according to the needs and desires of a sample of the objective participants, to increase the adherence to the self-applied intervention, considered one of the main weaknesses of online interventions.Methods: A Randomized Controlled Trial will be conducted from the 22nd of December of 2020 to the first of June 2021. The participants will be assigned to an intervention with elements of Cognitive Behavioral Therapy, Acceptance and Commitment Therapy, Mindfulness and Positive Psychology. The control group will be a wait-list condition, that will receive the intervention 1.5–2 months after the pre-measurement were taken. The Power Size Calculation conducted through G*Power indicated the need for a total of 42 participants, which will be divided by 21 participants in each group. The platform will be delivered through responsive design assuring with this that the intervention will adapt to the screen size of cellphones, tablets, and computers.Ethics and Dissemination: The study counts with the approval of the Research Ethics Committee of the Autonomous University of Ciudad Juárez, México, and it is registered in Clinical Trials. The article is sent and registered in clinical trials before the recruitment started. The results will be reported in future conferences, scientific publications, and media. (shrink)